Towards a truck-driver model using a hysteresis based analysis and verification approach

The complexity of human behaviors makes their modeling very difficult. To build a model that reproduce many concurrent aspects of those behaviors, we propose to use a testdriven like methodology. To validate this methodology, we reuse a car driver model and build a truck driver model by considering relevant aspects. We analyze, test and verify the model by using the hysteresis phenomena appearing in driver behaviors.